#include "Term.h"
#include "Rule.h"
#include "Predicate.h"

#include <list>

#ifndef _SUBGOAL_H_
#define _SUBGOAL_H_

class SubGoal{
public:
	SubGoal();
	~SubGoal();
	void setHead(Predicate h);
	void setTail(std::list<Predicate> t);
	Predicate getHead();
	std::list<Predicate>  getTail();
	std::string toString();
public:
	Predicate head;
	std::list<Predicate> tail;
};
#endif
